xen: flask: Restrict generated header to xen + tools
authorIan Campbell <ian.campbell@citrix.com>
Wed, 20 May 2015 14:38:57 +0000 (15:38 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 21 May 2015 14:25:41 +0000 (15:25 +0100)
commitde7fa4cefd7bbfad2b8e75edbef835569a0dbb58
treef24fc025a79386d953845b8ea97b9a22bdb5c920
parentf06c84e0472b4a94883264432099b3858321c9bf
xen: flask: Restrict generated header to xen + tools

This isn't strictly necessary but since it is going to be exposed via
tools/include in a later patch this will help prevent accidental
leakage beyond the tools.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
xen/xsm/flask/policy/mkflask.sh